import _00SetFunc as ss
import __00SetRelation as sr 

#判断关系
Xm,Ym,n=20,15,20 
X=set(range(Xm))
Y=set(range(Ym))
R0=sr.createrelation(X,Y,n)
print("R0",R0)
R=sr.reflexiverelation(X,R0)
tv=sr.isreflexive(X,R)
print("自反性tv,R",tv,R)
R=sr.irreflexiverelation(X,R0)
tv=sr.isirreflexive(X,R)
print("反自反性tv,R",tv,R)
R=sr.symmetricrelation(X,R0)
tv=sr.issymmetric(X,R)
print("对称性tv,R",tv,R)
R=sr.antisymmetricrelation(X,R0)
tv=sr.isantisymmetric(X,R)
print("反对称性tv,R",tv,R)
R=sr.transitiverelation(X,R)
tv=sr.istransitive(X,R)
print("传递性tv,R",tv,R)